DeepMind通用科学智能体AlphaEvolve突破数学极限，陶哲轩合作参与
LLM 具有惊人的多功能性。它们能够总结文件、生成代码，甚至提出新想法。如今，DeepMind 将这些能力扩展到了数学和现代计算中的基础性和高度复杂的问题。
智能体 陶哲轩 deepmind 科 alphaevolve 2025-05-15 15:54 10
陶哲轩
陶哲轩DeepMind梦幻联动，最强通用科学Agent来了！
它可以设计出更快的矩阵乘法算法，可以改进芯片设计、提高数据中心、AI训练的效率，已经在谷歌内部用上了。
agent 陶哲轩 deepmind 陶哲轩deepmind 2025-05-15 09:39 13
追问daily | 腹部肥胖会让某些关键脑区变大
如何突破光学显微镜分辨率极限？奥地利科学技术研究所与谷歌研究院的Mojtaba R. Tavakoli、Julia Lyudchik等团队开发了LICONN技术，通过膨胀显微术与深度学习结合，首次用普通光学显微镜实现了哺乳动物脑组织突触级连接的可视化重建。
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 ——在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
在没有明显引导、宣传之下，他的订阅数一天时间已经有900+，观看数超两千，目前仍然在高速增长中。
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目—— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。
今日全球科技发展速览–2025年5月12日
整合网络空间安全与密码学资源，聚焦并行计算与AI技术。此举将加速产学研融合，推动国产操作系统与芯片研发，但需突破高端人才竞争与基础研究投入不足的瓶颈。
全网惊了！陶哲轩带AI下场，33分钟“盲证”数学
陶哲轩的这次实验，远不止一个证明的完成。它让我们看到，AI正在重塑研究范式。参考资料：GitHub - teorth/estimates: Code to automatically prove or verify estimates in analysish
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
陶哲轩：感谢ChatGPT，4小时独立完成了一个开源项目
菲尔兹奖得主陶哲轩，似乎是忙着发布自己的开源项目：「我在大模型的协助下编写了一个概念验证软件工具，用于验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。」
美濒临「科研末日」，经费腰斩！陶哲轩痛心疾首，NSF主任愤然辞
特朗普 政府提议的2026财年预算案对美国科研机构发起前所未有的「屠刀」，NSF经费骤降56%，NIH预算被砍40%，连NASA、EPA等机构也未能幸免。NSF甚至可能裁员一半，引发主任愤然辞职。
美濒临科研末日经费腰斩！陶哲轩痛心疾首，NSF主任愤然辞职
特朗普政府提议的2026财年预算案对美国科研机构发起前所未有的「屠刀」，NSF经费骤降56%，NIH预算被砍40%，连NASA、EPA等机构也未能幸免。NSF甚至可能裁员一半，引发主任愤然辞职。
人类的深度思考能力正让渡给AI，何解？| 参与讨论领大奖
深度思考，这个专属于人类的智力能力如今已被大模型AI上的一个按钮所效仿，而人类用于学习、研究和创新的专注力则越来越稀缺。各种电子视听产品不断侵蚀着我们的注意力，越来越多的家庭从儿童到老人，无不淹没在时长越来越短、动效越来越丰富的视频里，静下来和慢下来的宝贵能力
人类近300年最聪明的人
艾萨克·牛顿（Isaac Newton，1643年-1727年）：牛顿是英国物理学家、数学家、天文学家和哲学家，他提出了万有引力定律和运动定律，奠定了经典力学的基础。他的贡献对科学的发展产生了深远影响。
挂谷猜想——新证明穿针引线到一个粘性几何问题上
1917年，日本数学家挂谷宗一（Sōichi Kakeya，1886 - 1947）提出了一个乍看只不过是个有趣的几何练习的问题。将一根无限细、一寸长的针放在平坦的表面上，然后旋转它，使其指向各个方向。针可以扫过的最小面积是多少？
陶哲轩：o3-mini纠正了我一个数学错误
这一次o3-mini一眼识破并且纠正了他的一个错误，然后在它的帮助下快速完成了一道数学题的解答。
三位华人解开数学难题？深扒他们履历，才发现天赋真拼不过热爱
没想到，继DeepSeek开年爆红，大力提振信心后，2025 年刚开年的数学界，又为鸡娃焦虑的虎妈牛爸们贡献了两则喜报。
这个韦神：数学冠军奖励100万他都不屑去拿，只有对数学痴迷
在当今时代，“网红”成为了一个热门词汇，各种各样的人因不同的原因走红网络。但在众多网红中，有一位却显得格外与众不同，他就是被大家尊称为“韦神”的韦东奕。他的走红并非依靠颜值、才艺或炒作，而是凭借着令人惊叹的数学天赋和对数学纯粹的热爱。
三维挂谷猜想或被证明
2025年2月24日，纽约大学科朗数学科学研究所助理教授王虹与不列颠哥伦比亚大学助理教授约书亚·扎尔 （Joshua Zahl）在预印本网站（arXiv）上，提交了一篇题为《凸集的并集的体积估计和三维挂谷集猜想》（Volume estimates for un
这天下午，数学界的顶级画面在纽约大学上演……
究竟是怎样的一堂课能有这么大的魅力？原来，是柯朗数学科学研究所的副教授王虹在此次研讨会上公开分享了她在三维挂谷猜想上的研究成果。这一令人惊叹的成果吸引了众多专业人士和数学爱好者的目光。